391 research outputs found

    Pantanal: risco de contaminação por biocidas.

    Get PDF
    bitstream/CPAP/56367/1/ADM051.pdfFormato eletrônico

    Diagnóstico e diretrizes do PCBAP relativos à erosão na Bacia do Alto Taquari.

    Get PDF
    Diagnóstico; Unidades Ambientais Naturais; Planalto do rio Correntes; Chapada das Emas; Planalto do Taquari; Chapada de São Gabriel, Coxim e Campo Grande; Planalto de Maracaju - Campo Grande; Unidades Ambientais Sócio-Econômicas; Itiquira e Alto Garças; Alto Taquari; São Gabriel d?Oeste; Altas bacias dos rios Aquidauana e Taquari; Sonora e Coxim; Costa Rica; Fragilidades Potenciais e Impactos Ambientais; Características geomorfométricas da BAT; Erosão concentrada nas vertentes; Perda potencial de solo; Aporte de sedimentos da BAT para o Pantanal; Unidades de Zoneamento Ambiental; Chapada do rio Correntes; Planalto do Taquari; Chapada das Emas; Chapada de São Gabriel, Coxim e Campo Grande; Planalto de Maracaju; Planalto de Campo Grande; Diretrizes gerais; Programa de manejo de solos e controle de erosão; Programa de estudos especiais; Específicas para as principais Unidades de Zoneamento Ambiental da BAT; Chapada do rio Correntes; Planalto do Taquari; Chapada das Emas; Chapada de São Gabriel, Coxim e Campo Grande; Planalto de Maracaju.bitstream/item/81138/1/DOC51.pd

    A Formalization of the Theorem of Existence of First-Order Most General Unifiers

    Full text link
    This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

    A problemática socioeconômica e ambiental da bacia do rio Taquari e perspectivas.

    Get PDF
    bitstream/CPAP/56369/1/ADM049.pdfFormato eletrônico

    Agrotóxicos na bacia do Alto Taquari e potenciais impactos no Pantanal.

    Get PDF
    A Bacia Hidrográfica do Alto Taquari (BAT), com área aproximada de 28.000 km², é uma das principais áreas da rede de drenagem da Bacia do Alto Paraguai (BAP). A maior parte da superfície da BAT está localizada no estado de Mato Grosso do Sul (26,5%) e o restante em Mato Grosso (13,5%) Galdino et al., 2005). Essa bacia exerce grande influência sobre os ecossistemas aquáticos da planície do Rio Taquari no Pantanal. No período de 1976 e 2000 a BAT registrou um elevado incremento da atividade agropecuária, passando de 5,7% para 62,0% da suuperfície da bacia (Silva et al., 2005). Essa rápido expansão da agropecuária com o emprego de pesadas cargas de agrotóxicos constitui uma das principais preocupações da sociedade, pelo risco dos resíduos e metabólicos dos agrotóxicos afetarem a sustentabilidade dos ecossistemas aquáticos do Pantanal e também atingirem a saúde do homem pelas cadeias alimentares. Os peixes por serem abundantes, diversificados, com larga distribuição geográfica e ricos em proteína, constituem um recurso natural de grande importância sócio-econômica devido à sua utilização na alimentação humana. Do ponto de vista ambiental, os peixes também desempenham papel de destaque na ciclagem de nutrientes e como atrativo na indústria do ecoturismo regional, principalmente na pesca esportiva. O macrozoneamento de Mato Grosso do Sul (Mato Grosso do Sul 1989) mostrou que a Microrregião Homogênea do Alto Taquari posicionou-se em segundo lugar no estado com relação ao consumo de agrotóxicos no triênio 1985/86/87 e o município de São Gabriel D'Oeste localizada na BAT, posicionou-se em quinto lugar no estado em relação aos demais. Apesar da inexistência de registros estatísticos sistematizados sobre os agrotóxicos empregados e de contaminação de pescado por resíduos de agrotóxicos na planície do Pantanal, alguns estudos preliminares (Cunha, 2003; Maraschim, 2003) detectaram pequenas quantidades de princípios ativos em sedimento e água de rios que fluem para o Pantanal. O relatório do Plano de Conservação da Bacia do Alto Paraguai (PCBAP) evidenciou relação entre qualidade de sedimentos de rios da bacia e grupos de princípios ativos usados na agricultura: cloropirifós, ciclodienos e triazinas (Marques & Cybis, 1997). Os maiores valores de triazinas (115,55 ug/kg) e de ciclodienos (6,22 ug/kg de sedimento), foram constatados no Rio São Lourenço, embora próximos do encontrado no rio Taquari (Marques & Cybis, 1997). Vários autores (Alho & Vieira, 1997; Vieira et al., 1998) vêm alertando as autoridades brasileiras para os riscos e conseqüências de contaminação do Pantanal e da bacia platina por resíduos de agrotóxicos, utilizados nos planaltos circunvizinhos, onde a atividade agrícola é mais intensiva. O efeito negativo dos agrotóxicos sobre a biota aquática tem sido avaliada por muitos pesquisadores (Murty, 1988a; Murty, 1988b; Fryday et al., 1994; Hussein et al., 1996; Ibrain et al., 1998). Este comunicado teve o objetivo de caracterizar as principais classes e grupos químicos de agrotóxicos empregados na agropecuária da BAT, em Mato Grosso do Sul, de 1988 a 1996, bem como recomendar ações para minimizar os riscos de contaminação da planície.bitstream/item/79544/1/COT50.pd

    Candidate technologies for high-capacity optical communication systems

    Get PDF
    The practicalities in designing high-capacity optical communication systems are described. With a given perspective on the present and future technologies, we cover the transceiver design and optical amplifier technologies to maximize optical fiber capacity. OCIS codes:

    Utilizacão de pesticidas na agropecuária dos municípios da Bacia do Alto Taquari de 1988 a 1996 e risco de contaminação do Pantanal, MS, Brasil.

    Get PDF
    A partir da década de 1970, a remoção da vegetação nativa, principalmente dos cerrados, da Bacia do Alto Taquari (BAT), localizada em Mato Grosso do Sul e parte de Mato Grosso, se intensificou, para a implantação da agropecuária. Essa ocupação foi desordenada e não seguiu as técnicas mínimas de manejo e conservação de solo. As terras mais fracas foram transformadas em pastagens cultivadas. Os latossolos, localizados nos Chapadões e com topografia apropriada a mecanização agrícola, foram ocupados, principalmente, pelas culturas de soja, milho, arroz, trigo e feijão. A utilização de pesticidas passou a preocupar a sociedade pelo risco de afetar diretamente a saúde do homem pelo consumo de alimentos contaminados e, indiretamente, pelas cadeias alimentares. A contaminação pode também afetar a biodiversidade do Pantanal, sem que sintomas sejam percebidos. Este estudo teve o objetivo de avaliar a evolução da área cultivada nos municípios de BAT, estimar a carga de pesticidas utilizada por classe e grupo químico, discriminados por ano (1988 a 1996), por cultura e município. A área anualmente cultivada pelas principais culturas foi obtida da base de dados do IBGE. Também uma base informatizada foi gerada pela Embrapa Pantanal, referente a utilização de pesticidas nos municípios da BAT de Mato Grosso do Sul, extraídos do Receituário Agronômico do CREA-MS. Os dados revelaram que o município de São Gabriel do Oeste foi o que apresentou a maior área cultivada e a soja foi a cultura de maior expressão na utilização de pesticidas. Do total de pesticidas (herbicidas + inseticidas + fungicidas), calculado em 1.369.957 litros e 157.120 quilos, nos municípios da BAT/MS, de 1998 a 1996, São Gabriel do Oeste foi o que contribuiu com a maior proporção, estimada em 506.159 litros (36,95%) e 27.684 quilos, (17,62%), e com a maior carga de herbicidas, estimada em 400.555 litros (37,20%). Os herbicidas foram os mais utilizados na BAT no período avaliado, seguido a distancia pelos inseticidas e fungicidas. A cultura de soja foi a que mais empregou herbicidas. Destacam-se as dinitroanilinas, base da trifuralina, do grupo químico dos herbicidas, seguido por difenileteres, imidazolinonas, imidazolinas, benzotiazinas, bipiridilios, derivados de glicina, fenoxiaceticos, aceanilidas, ariloxi fenopis propionatos, triazinas e sulfonilureias. Dos inseticidas, os grupos mais utilizados foram os organofosforados, esteres do ácido sulfuroso de um diol ciclico (organoclorados), carbamatos, triazina + triazina, pirotroides sintéticos, organoclorofosforados, atrizina + metolachlor, organoclorados e dinitroanilinas, em ordem decrescente. Dos fungicidas, em ordem decrescente, encontram-se os ditiocarbamatos, ftalimidas, benzimidazois, triazois, ftaminas, cupricos e anilidas. E também apresentada uma analise do município de São Gabriel do Oeste, porque foi o apresentou a maior utilização de pesticidas na serie de anos avaliada e por apresentar quase toda sua área na BAT. Foram feitas algumas recomendações de ordem geral que podem contribuir para a redução do uso de pesticidas e melhorar a precisão das futuras avaliações em outras bacias hidrográficas do Pantanal.bitstream/item/37570/1/CT27.pd

    GESTÃO INSTITUCIONAL NA EDUCAÇÃO INFANTIL

    Get PDF
    Esta pesquisa está situada no campo da Educação Infantil (EI). No reconhecimento das mudanças ocorridas nesse campo, que vem implicando na reconfiguração dos quadros profissionais, busca compreender quem são gestores que atuam nas instituições, considerando o perfil pessoal e profissional, a dinâmica do trabalho e os processos de formação continuada vivenciados. Estruturada com princípios teóricos-metodológicos bakhtinianos, BAKHTIN (1988, 1997, 2010, 2011), visando compreender a pesquisa contextualizada na relação entre sujeitos, especialmente com os conceitos de sujeito, dialogia, alteridade, excedente de visão e ato ético. Contextualiza a EI e a gestão na EI com base em CAMPOS (2006, 2010, 2011, 2012) e CÔCO (2009, 2010); aponta os aspectos da gestão democrática no Brasil com base nos documentos oficiais (BRASIL, 1988, 1996, 2014); com as literaturas do campo da gestão, SOUZA (2006, 2009, 2010, 2012) e PARO (1998, 2000, 2001, 2002, 2003, 2007, 2010, 2012, 2015) e, no campo da formação, NÓVOA (2002, 2009, 2011). Desenvolvida numa abordagem qualitativa e de tipo exploratória, teve como procedimentos a aplicação de questionário e a entrevista semiestruturada a gestores de Centros Municipais de Educação Infantil (CMEI) de um município da Região Metropolitana da Grande Vitória, Espírito Santo. A análise dos dados produzidos indica perspectivas de gestão que se desenvolvem sustentadas no compartilhamento do trabalho educativo, acena que o conhecimento das especificidades da EI contribui para o exercício da função e evidencia a relevância dos processos de formação continuada no desenvolvimento profissional e consequentemente, no fortalecimento das concepções vinculadas ao campo da EI

    Potencial de contaminacao do Pantanal por pesticidas utilizados na Bacia do Alto Taquari, MS.

    Get PDF
    Os pesticidas compreendem um largo espectro de produtos quimicos usados na agropecuaria para controlar pragas, doencas de plantas e animais e combater ervas invasoras de culturas e pastagens. A eficacia comprovada desses produtos, aliada a crescente demanda setorial, viabilizou rapidamente a producao industrial, com o objetivo de incrementar a produtividade dos sistemas agropecuarios direcionados para a producao de alimentos. Os efeitos imediatos de toxicidade humana e ambiental foram durante muitos anos negligenciados ou considerados de menor relevancia. A expansao da agropecuaria na Bacia do Alto Paraguai (BAT), cuja superficie e de aproximadamente 29 mil km2, intensificada a partir da decada de 1970, passou a constituir uma serie ameaca para os ecossistemas do Pantanal, devido a elevada carga de pesticidas utilizados, colocando em risco as cadeias alimentares. Dos organismos que podem ser contaminados, os peixes, alem de constituirem fonte de proteina, representam um recurso natural de elevada importancia ambiental e economico-social para a Bacia do Rio Taquari. Os recursos pesqueiros desta bacia podem estar sendo diretamente contaminados por residuos de pesticidas ou atraves das cadeias alimentares.bitstream/item/41119/1/PA16.pd

    Pseudomonas aeruginosa and Its 4 Arsenal of Proteases: Weapons 5 to Battle the Host

    Get PDF
    Pseudomonas aeruginosa is a ubiquitous and opportunistic human pathogen that 12 represents a critical problem to the clinician due to the increased number of 13 resistant strains isolated from hospital settings. In addition, there is a great 14 variety of pathologies associated with this versatile Gram-negative bacterium. 15 P. aeruginosa cells are able to produce an incredible arsenal of virulence factors, 16 especially secreted molecules that act singly or together to ensure the 17 establishment, maintenance, and persistence of a successful infection in 18 susceptible hosts. In this context, pseudomonal proteases roles are highlighted 19 due to their ability to cleave key host proteinaceous substrates as well as to 20 modulate several biological processes, for example, escaping and modulating the 21 host immune responses in the bacterial own favor. Proteases secreted by 22 P. aeruginosa include elastase A (LasA), elastase B (LasB), alkaline protease 23 (AP), protease IV (PIV), Pseudomonas small protease (PASP), large protease A 24 (LepA), MucD, and P. aeruginosa aminopeptidase (PAAP). In the present 25 review, we discuss the role of each of these relevant proteases produced by P. aeruginosa taking into consideration their main biological functions in the 27 bacterium–host interaction that favors the establishment of the infectious 28 proces
    corecore